The volume of relaxed Boolean-quadric and cut polytopes
نویسندگان
چکیده
For n 2, the boolean quadric polytope P n is the convex hull in d := ? n+1 2 dimensions of the binary solutions of x i x j = y ij , for all i < j in N := f1; 2; :::; ng. The polytope is naturally modeled by a somewhat larger polytope; namely, Q n the solution set of y ij x i , y ij x j , x i + x j 1 + y ij , y ij 0, for all i; j in N. In a rst step toward seeing how well Q n approximates P n , we establish that the d-dimensional volume of Q n is 2 2n?d n!=(2n)!. Using a well-known connection between P n and the \cut polytope" of a complete graph on n + 1 vertices, we also establish the volume of a relaxation of this cut polytope.
منابع مشابه
A new separation algorithm for the Boolean quadric and cut polytopes
A separation algorithm is a procedure for generating cutting planes. Up to now, only a few polynomial-time separation algorithms were known for the Boolean quadric and cut polytopes. These polytopes arise in connection with zero-one quadratic programming and the maxcut problem, respectively. We present a new algorithm, which separates over a class of valid inequalities that includes all odd bic...
متن کاملBinary Positive Semidefinite Matrices and Associated Integer Polytopes
We consider the positive semidefinite (psd) matrices with binary entries. We give a characterisation of such matrices, along with a graphical representation. We then move on to consider the associated integer polytopes. Several important and well-known integer polytopes — the cut, boolean quadric, multicut and clique partitioning polytopes — are shown to arise as projections of binary psd polyt...
متن کاملOn the strength of the cycle relaxation for the boolean quadric polytope
We study unconstrained zero-one quadratic programming problems. The boolean quadric polytope arises from a standard linearization of the objective function and has been extensively studied in the literature. A well-known relaxation of the boolean quadric polytope is the cycle relaxation, which is closely related to the metric polytope for max-cut. We characterize the sign patterns of the object...
متن کاملSome properties of the Boolean Quadric Polytope
The topic of our research is unconstrained 0-1 quadratic programming. We find some properties of the Boolean Quadric Polytope, which is obtained from the standard linearization of the given 0-1 quadratic function. By using a result obtained by Deza and Laurent on a class of hypermetric inequalities for the Cut Polytope, we find a necessary and sufficient condition for a class of inequalities to...
متن کاملSome Characteristics of the Simple Boolean Quadric Polytope Extension
Following the seminal work of Padberg on the Boolean quadric polytope BQP and its LP relaxation BQPLP , we consider a natural extension: SATP and SATPLP polytopes, with BQPLP being projection of the SATPLP face (and BQP projection of the SATP face). We consider the problem of integer recognition: determine whether the maximum of a linear objective function is achieved at an integral vertex of a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete Mathematics
دوره 163 شماره
صفحات -
تاریخ انتشار 1997